OCL Boolean Operators
This page was created by Stephanie@mdriven.net on 2025-03-07. Last edited by Stephanie@mdriven.net on 2025-03-18.

Boolean operators are used to express logical relationships between expressions or constraints.

Operators Description
And
And True False Invalid
True true false true
False false false false
Invalid invalid false invalid
Implies
Implies True False Invalid
True true false invalid
False true true true
Invalid true invalid invalid
Or
Or True False Invalid
True true true true
False true false invalid
Invalid true invalid invalid
Not
Not Result
True false
False true
Invalid invalid
Xor
Xor True False Invalid
True false true invalid
False true false invalid
Invalid invalid invalid invalid

See also: OCLOperators